#LyX 2.3 created this file. For more info see http://www.lyx.org/
\lyxformat 544
\begin_document
\begin_header
\save_transient_properties true
\origin unavailable
\textclass memoir
\options openany
\use_default_options false
\maintain_unincluded_children false
\language portuguese
\language_package default
\inputencoding utf8x
\fontencoding T1
\font_roman "default" "default"
\font_sans "default" "default"
\font_typewriter "default" "default"
\font_math "auto" "auto"
\font_default_family default
\use_non_tex_fonts false
\font_sc false
\font_osf false
\font_sf_scale 100 100
\font_tt_scale 100 100
\use_microtype false
\use_dash_ligatures true
\graphics default
\default_output_format default
\output_sync 0
\bibtex_command default
\index_command default
\paperfontsize 11
\spacing single
\use_hyperref false
\papersize default
\use_geometry false
\use_package amsmath 1
\use_package amssymb 0
\use_package cancel 0
\use_package esint 1
\use_package mathdots 0
\use_package mathtools 0
\use_package mhchem 0
\use_package stackrel 0
\use_package stmaryrd 0
\use_package undertilde 0
\cite_engine basic
\cite_engine_type default
\biblio_style plain
\use_bibtopic false
\use_indices false
\paperorientation portrait
\suppress_date false
\justification true
\use_refstyle 0
\use_minted 0
\index Index
\shortcut idx
\color #008000
\end_index
\secnumdepth 3
\tocdepth 3
\paragraph_separation indent
\paragraph_indentation default
\is_math_indent 0
\math_numbering_side default
\quotes_style french
\dynamic_quotes 0
\papercolumns 1
\papersides 1
\paperpagestyle default
\tracking_changes false
\output_changes false
\html_math_output 0
\html_css_as_file 0
\html_be_strict false
\end_header

\begin_body

\begin_layout Standard
\begin_inset ERT
status collapsed

\begin_layout Plain Layout

%!TEX root = forallxyyc.tex
\end_layout

\end_inset


\end_layout

\begin_layout Standard
\begin_inset ERT
status collapsed

\begin_layout Plain Layout

% Bastard Title
\end_layout

\end_inset


\end_layout

\begin_layout Standard
\begin_inset ERT
status collapsed

\begin_layout Plain Layout


\backslash
pagestyle
\end_layout

\end_inset


\begin_inset ERT
status collapsed

\begin_layout Plain Layout

{
\end_layout

\end_inset

empty
\begin_inset ERT
status collapsed

\begin_layout Plain Layout

}
\end_layout

\end_inset


\end_layout

\begin_layout Standard
\begin_inset VSpace 80pt*
\end_inset


\end_layout

\begin_layout Standard
\align right
\begin_inset ERT
status collapsed

\begin_layout Plain Layout


\backslash
fontsize{30pt}{24pt}
\end_layout

\end_inset


\family sans

\begin_inset ERT
status collapsed

\begin_layout Plain Layout


\backslash
selectfont
\end_layout

\end_inset

 
\series bold
para todo 
\begin_inset ERT
status collapsed

\begin_layout Plain Layout

{
\end_layout

\end_inset


\begin_inset ERT
status collapsed

\begin_layout Plain Layout


\backslash
fontsize{37pt}{24pt}
\end_layout

\end_inset


\begin_inset ERT
status collapsed

\begin_layout Plain Layout


\backslash
selectfont
\end_layout

\end_inset


\family roman
\shape italic
x
\shape default

\begin_inset ERT
status collapsed

\begin_layout Plain Layout

}
\end_layout

\end_inset

: Calgary
\end_layout

\begin_layout Standard
\align right

\family sans
\begin_inset VSpace medskip
\end_inset


\begin_inset ERT
status collapsed

\begin_layout Plain Layout


\backslash
fontsize{18pt}{20pt}
\end_layout

\end_inset


\begin_inset ERT
status collapsed

\begin_layout Plain Layout


\backslash
selectfont
\end_layout

\end_inset


\end_layout

\begin_layout Standard
\align right

\family sans
\series bold
Uma introdução à 
\begin_inset Newline newline
\end_inset

lógica formal
\end_layout

\begin_layout Standard
\align right

\family sans
\begin_inset VSpace vfill
\end_inset


\begin_inset ERT
status collapsed

\begin_layout Plain Layout


\backslash
fontsize{12pt}{16pt}
\end_layout

\end_inset


\begin_inset ERT
status collapsed

\begin_layout Plain Layout


\backslash
selectfont
\end_layout

\end_inset

 
\series bold
P.
\begin_inset space ~
\end_inset

D.
 Magnus
\series default

\begin_inset Newline newline
\end_inset

 
\series bold
Tim Button
\series default

\begin_inset Newline newline
\end_inset

 
\shape italic
com adições de
\shape default

\begin_inset Newline newline
\end_inset

 
\series bold
J.
\begin_inset space ~
\end_inset

Robert Loftis
\series default

\begin_inset Newline newline
\end_inset

 
\series bold
Robert Trueman
\series default

\begin_inset Newline newline
\end_inset

 
\shape italic
reelaborado e revisado por
\shape default

\begin_inset Newline newline
\end_inset

 
\series bold
Aaron Thomas-Bolduc
\series default

\begin_inset Newline newline
\end_inset

 
\series bold
Richard Zach
\series default

\begin_inset Newline newline
\end_inset


\emph on
tradução
\emph default

\begin_inset Newline newline
\end_inset


\series bold
Lauro Morais
\series default

\begin_inset Newline newline
\end_inset


\series bold
Silvio Arcanjo Jr.
\series default

\begin_inset Newline newline
\end_inset


\series bold
Nicholas Ferreira
\series default

\begin_inset Newline newline
\end_inset


\series bold
Alessandro Duarte
\end_layout

\begin_layout Standard
\align right

\end_layout

\begin_layout Standard
\align right

\family sans
\begin_inset VSpace vfill
\end_inset


\series bold

\begin_inset ERT
status collapsed

\begin_layout Plain Layout


\backslash
forallxversion
\end_layout

\end_inset


\end_layout

\begin_layout Standard

\family sans
\begin_inset Newpage newpage
\end_inset


\end_layout

\begin_layout Standard
\noindent

\family sans
\size small
This book is based on 
\begin_inset CommandInset href
LatexCommand href
name "\\forallx: \\emph{Cambridge}"
target "http://people.ds.cam.ac.uk/tecb2/forallx.shtml"
literal "true"

\end_inset

, by 
\begin_inset CommandInset href
LatexCommand href
name "Tim Button"
target "http://nottub.com/"
literal "false"

\end_inset

(University College London), used under a 
\begin_inset CommandInset href
LatexCommand href
name "CC BY 4.0"
target "https://creativecommons.org/licenses/by/4.0/"
literal "false"

\end_inset

license, which is based in turn on 
\begin_inset CommandInset href
LatexCommand href
name "\\forallx"
target "https://www.fecundity.com/logic/"
literal "true"

\end_inset

, by 
\begin_inset CommandInset href
LatexCommand href
name "P.D.\\ Magnus"
target "https://www.fecundity.com/job/"
literal "true"

\end_inset

(University at Albany, State University of New York), used under a 
\begin_inset CommandInset href
LatexCommand href
name "CC BY 4.0"
target "https://creativecommons.org/licenses/by/4.0/"
literal "false"

\end_inset

license, and was remixed, revised, & expanded by Aaron Thomas-Bolduc & 
\begin_inset CommandInset href
LatexCommand href
name "Richard Zach"
target "https://richardzach.org/"
literal "false"

\end_inset

(University of Calgary).
 It includes additional material from 
\begin_inset ERT
status collapsed

\begin_layout Plain Layout


\backslash
forallx
\end_layout

\end_inset


\begin_inset ERT
status collapsed

\begin_layout Plain Layout

{}
\end_layout

\end_inset

 by P.D.
 Magnus and 
\begin_inset CommandInset href
LatexCommand href
name "\\emph{Metatheory}"
target "http://people.ds.cam.ac.uk/tecb2/metatheory.shtml"
literal "true"

\end_inset

by Tim Button, used under a 
\begin_inset CommandInset href
LatexCommand href
name "CC BY 4.0"
target "https://creativecommons.org/licenses/by/4.0/"
literal "false"

\end_inset

license, from 
\begin_inset CommandInset href
LatexCommand href
name "\\forallx: \\emph{Lorain County Remix}"
target "https://github.com/rob-helpy-chalk/openintroduction"
literal "true"

\end_inset

, by 
\begin_inset CommandInset href
LatexCommand href
name "Cathal Woods"
target "https://sites.google.com/site/cathalwoods/"
literal "false"

\end_inset

and J.
 Robert Loftis, and from 
\begin_inset CommandInset href
LatexCommand href
name "\\emph{A Modal Logic Primer}"
target "http://www.rtrueman.com/uploads/7/0/3/2/70324387/modal_logic_primer.pdf"
literal "true"

\end_inset

by 
\begin_inset CommandInset href
LatexCommand href
name "Robert Trueman"
target "http://www.rtrueman.com/"
literal "false"

\end_inset

, used with permission.
\end_layout

\begin_layout Standard

\family sans
\size small
\begin_inset VSpace bigskip
\end_inset


\end_layout

\begin_layout Standard
\noindent

\family sans
\size footnotesize
This work is licensed under a 
\begin_inset CommandInset href
LatexCommand href
name "Creative Commons Attribution 4.0"
target "https://creativecommons.org/licenses/by/4.0/"
literal "false"

\end_inset

license.
 You are free to copy and redistribute the material in any medium or format,
 and remix, transform, and build upon the material for any purpose, even
 commercially, under the following terms: 
\end_layout

\begin_layout Itemize

\family sans
\size footnotesize
You must give appropriate credit, provide a link to the license, and indicate
 if changes were made.
 You may do so in any reasonable manner, but not in any way that suggests
 the licensor endorses you or your use.
 
\end_layout

\begin_layout Itemize

\family sans
\size footnotesize
You may not apply legal terms or technological measures that legally restrict
 others from doing anything the license permits.
 
\end_layout

\begin_layout Standard

\family sans
\size footnotesize
\begin_inset ERT
status collapsed

\begin_layout Plain Layout


\backslash
vfil
\end_layout

\end_inset


\size normal
The \SpecialChar LaTeX
 source for this book is available on 
\begin_inset CommandInset href
LatexCommand href
name "GitHub"
target "https://github.com/rzach/forallx-yyc/"
literal "false"

\end_inset

and at 
\begin_inset CommandInset href
LatexCommand href
target "forallx.openlogicproject.org"
literal "false"

\end_inset

.
 This version is revision 
\begin_inset ERT
status collapsed

\begin_layout Plain Layout


\backslash
gitAbbrevHash
\end_layout

\end_inset


\begin_inset ERT
status collapsed

\begin_layout Plain Layout

{}
\end_layout

\end_inset

 (
\begin_inset ERT
status collapsed

\begin_layout Plain Layout


\backslash
gitAuthorDate
\end_layout

\end_inset

).
\end_layout

\begin_layout Standard
\noindent

\family sans
\size normal
\begin_inset VSpace bigskip
\end_inset

The preparation of this textbook was made possible by a grant from the 
\begin_inset CommandInset href
LatexCommand href
name "Taylor Institute for Teaching and Learning"
target "https://www.ucalgary.ca/taylorinstitute/"
literal "false"

\end_inset

.
\end_layout

\begin_layout Standard
\noindent

\family sans
\size normal
\begin_inset VSpace bigskip
\end_inset


\begin_inset CommandInset href
LatexCommand href
name "\\includegraphics[width=8cm]{assets/ti-color}"
target "https://www.ucalgary.ca/taylorinstitute/"
literal "true"

\end_inset


\end_layout

\begin_layout Standard
\noindent

\family sans
\size normal
\begin_inset VSpace bigskip
\end_inset

Cover design by Mark Lyall.
\end_layout

\end_body
\end_document
